<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Config (infer.IBase.Config)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">IBase</a> &#x00BB; Config</nav><header class="odoc-preamble"><h1>Module <code><span>IBase.Config</span></code></h1><p>Configuration values: either constant, determined at compile time, or set at startup time by system calls, environment variables, or command line options</p></header><nav class="odoc-toc"><ul><li><a href="#constant-configuration-values">Constant configuration values</a></li><li><a href="#configuration-values-specified-by-command-line-options">Configuration values specified by command-line options</a></li><li><a href="#configuration-values-derived-from-command-line-options">Configuration values derived from command-line options</a></li><li><a href="#global-variables-with-initial-values-specified-by-command-line-options">Global variables with initial values specified by command-line options</a></li></ul></nav><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-os_type"><a href="#type-os_type" class="anchor"></a><code><span><span class="keyword">type</span> os_type</span><span> = </span></code><ol><li id="type-os_type.Unix" class="def variant constructor anchored"><a href="#type-os_type.Unix" class="anchor"></a><code><span>| </span><span><span class="constructor">Unix</span></span></code></li><li id="type-os_type.Win32" class="def variant constructor anchored"><a href="#type-os_type.Win32" class="anchor"></a><code><span>| </span><span><span class="constructor">Win32</span></span></code></li><li id="type-os_type.Cygwin" class="def variant constructor anchored"><a href="#type-os_type.Cygwin" class="anchor"></a><code><span>| </span><span><span class="constructor">Cygwin</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-build_system"><a href="#type-build_system" class="anchor"></a><code><span><span class="keyword">type</span> build_system</span><span> = </span></code><ol><li id="type-build_system.BAnt" class="def variant constructor anchored"><a href="#type-build_system.BAnt" class="anchor"></a><code><span>| </span><span><span class="constructor">BAnt</span></span></code></li><li id="type-build_system.BBuck2" class="def variant constructor anchored"><a href="#type-build_system.BBuck2" class="anchor"></a><code><span>| </span><span><span class="constructor">BBuck2</span></span></code></li><li id="type-build_system.BClang" class="def variant constructor anchored"><a href="#type-build_system.BClang" class="anchor"></a><code><span>| </span><span><span class="constructor">BClang</span></span></code></li><li id="type-build_system.BErlc" class="def variant constructor anchored"><a href="#type-build_system.BErlc" class="anchor"></a><code><span>| </span><span><span class="constructor">BErlc</span></span></code></li><li id="type-build_system.BGradle" class="def variant constructor anchored"><a href="#type-build_system.BGradle" class="anchor"></a><code><span>| </span><span><span class="constructor">BGradle</span></span></code></li><li id="type-build_system.BHackc" class="def variant constructor anchored"><a href="#type-build_system.BHackc" class="anchor"></a><code><span>| </span><span><span class="constructor">BHackc</span></span></code></li><li id="type-build_system.BJava" class="def variant constructor anchored"><a href="#type-build_system.BJava" class="anchor"></a><code><span>| </span><span><span class="constructor">BJava</span></span></code></li><li id="type-build_system.BJavac" class="def variant constructor anchored"><a href="#type-build_system.BJavac" class="anchor"></a><code><span>| </span><span><span class="constructor">BJavac</span></span></code></li><li id="type-build_system.BKotlinc" class="def variant constructor anchored"><a href="#type-build_system.BKotlinc" class="anchor"></a><code><span>| </span><span><span class="constructor">BKotlinc</span></span></code></li><li id="type-build_system.BMake" class="def variant constructor anchored"><a href="#type-build_system.BMake" class="anchor"></a><code><span>| </span><span><span class="constructor">BMake</span></span></code></li><li id="type-build_system.BMvn" class="def variant constructor anchored"><a href="#type-build_system.BMvn" class="anchor"></a><code><span>| </span><span><span class="constructor">BMvn</span></span></code></li><li id="type-build_system.BNdk" class="def variant constructor anchored"><a href="#type-build_system.BNdk" class="anchor"></a><code><span>| </span><span><span class="constructor">BNdk</span></span></code></li><li id="type-build_system.BPython" class="def variant constructor anchored"><a href="#type-build_system.BPython" class="anchor"></a><code><span>| </span><span><span class="constructor">BPython</span></span></code></li><li id="type-build_system.BRebar3" class="def variant constructor anchored"><a href="#type-build_system.BRebar3" class="anchor"></a><code><span>| </span><span><span class="constructor">BRebar3</span></span></code></li><li id="type-build_system.BSwiftc" class="def variant constructor anchored"><a href="#type-build_system.BSwiftc" class="anchor"></a><code><span>| </span><span><span class="constructor">BSwiftc</span></span></code></li><li id="type-build_system.BXcode" class="def variant constructor anchored"><a href="#type-build_system.BXcode" class="anchor"></a><code><span>| </span><span><span class="constructor">BXcode</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-scheduler"><a href="#type-scheduler" class="anchor"></a><code><span><span class="keyword">type</span> scheduler</span><span> = </span></code><ol><li id="type-scheduler.File" class="def variant constructor anchored"><a href="#type-scheduler.File" class="anchor"></a><code><span>| </span><span><span class="constructor">File</span></span></code></li><li id="type-scheduler.Restart" class="def variant constructor anchored"><a href="#type-scheduler.Restart" class="anchor"></a><code><span>| </span><span><span class="constructor">Restart</span></span></code></li><li id="type-scheduler.SyntacticCallGraph" class="def variant constructor anchored"><a href="#type-scheduler.SyntacticCallGraph" class="anchor"></a><code><span>| </span><span><span class="constructor">SyntacticCallGraph</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal_scheduler"><a href="#val-equal_scheduler" class="anchor"></a><code><span><span class="keyword">val</span> equal_scheduler : <span><a href="#type-scheduler">scheduler</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-scheduler">scheduler</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-string_of_scheduler"><a href="#val-string_of_scheduler" class="anchor"></a><code><span><span class="keyword">val</span> string_of_scheduler : <span><a href="#type-scheduler">scheduler</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-build_system_of_exe_name"><a href="#val-build_system_of_exe_name" class="anchor"></a><code><span><span class="keyword">val</span> build_system_of_exe_name : <span>string <span class="arrow">&#45;&gt;</span></span> <a href="#type-build_system">build_system</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-string_of_build_system"><a href="#val-string_of_build_system" class="anchor"></a><code><span><span class="keyword">val</span> string_of_build_system : <span><a href="#type-build_system">build_system</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-maven_env"><a href="#val-maven_env" class="anchor"></a><code><span><span class="keyword">val</span> maven_env : <a href="../../IStdlib/IUnix/Env/index.html#type-t">IStdlib.IUnix.Env.t</a></span></code></div><div class="spec-doc"><p>tell Infer it's running inside maven and disable JAVA_HOME</p></div></div><h3 id="constant-configuration-values"><a href="#constant-configuration-values" class="anchor"></a>Constant configuration values</h3><div class="odoc-spec"><div class="spec value anchored" id="val-allow_listed_cpp_classes"><a href="#val-allow_listed_cpp_classes" class="anchor"></a><code><span><span class="keyword">val</span> allow_listed_cpp_classes : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-allow_listed_cpp_methods"><a href="#val-allow_listed_cpp_methods" class="anchor"></a><code><span><span class="keyword">val</span> allow_listed_cpp_methods : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-anonymous_block_prefix"><a href="#val-anonymous_block_prefix" class="anchor"></a><code><span><span class="keyword">val</span> anonymous_block_prefix : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bin_dir"><a href="#val-bin_dir" class="anchor"></a><code><span><span class="keyword">val</span> bin_dir : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_exe_aliases"><a href="#val-clang_exe_aliases" class="anchor"></a><code><span><span class="keyword">val</span> clang_exe_aliases : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_initializer_prefix"><a href="#val-clang_initializer_prefix" class="anchor"></a><code><span><span class="keyword">val</span> clang_initializer_prefix : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_inner_destructor_prefix"><a href="#val-clang_inner_destructor_prefix" class="anchor"></a><code><span><span class="keyword">val</span> clang_inner_destructor_prefix : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_plugin_path"><a href="#val-clang_plugin_path" class="anchor"></a><code><span><span class="keyword">val</span> clang_plugin_path : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-default_failure_name"><a href="#val-default_failure_name" class="anchor"></a><code><span><span class="keyword">val</span> default_failure_name : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dotty_frontend_output"><a href="#val-dotty_frontend_output" class="anchor"></a><code><span><span class="keyword">val</span> dotty_frontend_output : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-etc_dir"><a href="#val-etc_dir" class="anchor"></a><code><span><span class="keyword">val</span> etc_dir : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fail_on_issue_exit_code"><a href="#val-fail_on_issue_exit_code" class="anchor"></a><code><span><span class="keyword">val</span> fail_on_issue_exit_code : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fcp_dir"><a href="#val-fcp_dir" class="anchor"></a><code><span><span class="keyword">val</span> fcp_dir : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-initial_analysis_time"><a href="#val-initial_analysis_time" class="anchor"></a><code><span><span class="keyword">val</span> initial_analysis_time : float</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_running_unit_test"><a href="#val-is_running_unit_test" class="anchor"></a><code><span><span class="keyword">val</span> is_running_unit_test : bool</span></code></div><div class="spec-doc"><p>whether the infer executable looks like we are just running infer unit tests</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-java_lambda_marker_infix_generated_by_javalib"><a href="#val-java_lambda_marker_infix_generated_by_javalib" class="anchor"></a><code><span><span class="keyword">val</span> java_lambda_marker_infix_generated_by_javalib : string</span></code></div><div class="spec-doc"><p>marker to recognize methods generated by javalib to eliminate lambdas</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-java_lambda_marker_prefix_generated_by_javac"><a href="#val-java_lambda_marker_prefix_generated_by_javac" class="anchor"></a><code><span><span class="keyword">val</span> java_lambda_marker_prefix_generated_by_javac : string</span></code></div><div class="spec-doc"><p>marker to recognize methods generated by javac to build closures</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-kotlin_source_extension"><a href="#val-kotlin_source_extension" class="anchor"></a><code><span><span class="keyword">val</span> kotlin_source_extension : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lib_dir"><a href="#val-lib_dir" class="anchor"></a><code><span><span class="keyword">val</span> lib_dir : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-max_narrows"><a href="#val-max_narrows" class="anchor"></a><code><span><span class="keyword">val</span> max_narrows : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-max_widens"><a href="#val-max_widens" class="anchor"></a><code><span><span class="keyword">val</span> max_widens : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-os_type"><a href="#val-os_type" class="anchor"></a><code><span><span class="keyword">val</span> os_type : <a href="#type-os_type">os_type</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_version"><a href="#val-pp_version" class="anchor"></a><code><span><span class="keyword">val</span> pp_version : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span>unit <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-wrappers_dir"><a href="#val-wrappers_dir" class="anchor"></a><code><span><span class="keyword">val</span> wrappers_dir : string</span></code></div></div><h3 id="configuration-values-specified-by-command-line-options"><a href="#configuration-values-specified-by-command-line-options" class="anchor"></a>Configuration values specified by command-line options</h3><div class="odoc-spec"><div class="spec value anchored" id="val-abstract_pulse_models_for_erlang"><a href="#val-abstract_pulse_models_for_erlang" class="anchor"></a><code><span><span class="keyword">val</span> abstract_pulse_models_for_erlang : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-analysis_schedule_file"><a href="#val-analysis_schedule_file" class="anchor"></a><code><span><span class="keyword">val</span> analysis_schedule_file : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-annotation_reachability_apply_superclass_annotations"><a href="#val-annotation_reachability_apply_superclass_annotations" class="anchor"></a><code><span><span class="keyword">val</span> annotation_reachability_apply_superclass_annotations : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-annotation_reachability_check_loops"><a href="#val-annotation_reachability_check_loops" class="anchor"></a><code><span><span class="keyword">val</span> annotation_reachability_check_loops : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-annotation_reachability_custom_models"><a href="#val-annotation_reachability_custom_models" class="anchor"></a><code><span><span class="keyword">val</span> annotation_reachability_custom_models : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-annotation_reachability_custom_pairs"><a href="#val-annotation_reachability_custom_pairs" class="anchor"></a><code><span><span class="keyword">val</span> annotation_reachability_custom_pairs : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-annotation_reachability_expensive"><a href="#val-annotation_reachability_expensive" class="anchor"></a><code><span><span class="keyword">val</span> annotation_reachability_expensive : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-annotation_reachability_minimize_sinks"><a href="#val-annotation_reachability_minimize_sinks" class="anchor"></a><code><span><span class="keyword">val</span> annotation_reachability_minimize_sinks : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-annotation_reachability_minimize_sources"><a href="#val-annotation_reachability_minimize_sources" class="anchor"></a><code><span><span class="keyword">val</span> annotation_reachability_minimize_sources : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-annotation_reachability_no_allocation"><a href="#val-annotation_reachability_no_allocation" class="anchor"></a><code><span><span class="keyword">val</span> annotation_reachability_no_allocation : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-annotation_reachability_report_source_and_sink"><a href="#val-annotation_reachability_report_source_and_sink" class="anchor"></a><code><span><span class="keyword">val</span> annotation_reachability_report_source_and_sink : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-attributes_lru_max_size"><a href="#val-attributes_lru_max_size" class="anchor"></a><code><span><span class="keyword">val</span> attributes_lru_max_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bitcode_capture"><a href="#val-bitcode_capture" class="anchor"></a><code><span><span class="keyword">val</span> bitcode_capture : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bo_assume_void"><a href="#val-bo_assume_void" class="anchor"></a><code><span><span class="keyword">val</span> bo_assume_void : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bo_bottom_as_default"><a href="#val-bo_bottom_as_default" class="anchor"></a><code><span><span class="keyword">val</span> bo_bottom_as_default : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bo_context_sensitive_allocsites"><a href="#val-bo_context_sensitive_allocsites" class="anchor"></a><code><span><span class="keyword">val</span> bo_context_sensitive_allocsites : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bo_debug"><a href="#val-bo_debug" class="anchor"></a><code><span><span class="keyword">val</span> bo_debug : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bo_exit_frontend_gener_vars"><a href="#val-bo_exit_frontend_gener_vars" class="anchor"></a><code><span><span class="keyword">val</span> bo_exit_frontend_gener_vars : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bo_field_depth_limit"><a href="#val-bo_field_depth_limit" class="anchor"></a><code><span><span class="keyword">val</span> bo_field_depth_limit : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bo_max_cfg_size"><a href="#val-bo_max_cfg_size" class="anchor"></a><code><span><span class="keyword">val</span> bo_max_cfg_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bo_sound_unknown_sets_join"><a href="#val-bo_sound_unknown_sets_join" class="anchor"></a><code><span><span class="keyword">val</span> bo_sound_unknown_sets_join : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bootclasspath"><a href="#val-bootclasspath" class="anchor"></a><code><span><span class="keyword">val</span> bootclasspath : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck"><a href="#val-buck" class="anchor"></a><code><span><span class="keyword">val</span> buck : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck2_build_args"><a href="#val-buck2_build_args" class="anchor"></a><code><span><span class="keyword">val</span> buck2_build_args : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck2_build_args_no_inline"><a href="#val-buck2_build_args_no_inline" class="anchor"></a><code><span><span class="keyword">val</span> buck2_build_args_no_inline : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck2_bxl_capture_file_block_list"><a href="#val-buck2_bxl_capture_file_block_list" class="anchor"></a><code><span><span class="keyword">val</span> buck2_bxl_capture_file_block_list : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck2_bxl_target"><a href="#val-buck2_bxl_target" class="anchor"></a><code><span><span class="keyword">val</span> buck2_bxl_target : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck2_inferconfig_target"><a href="#val-buck2_inferconfig_target" class="anchor"></a><code><span><span class="keyword">val</span> buck2_inferconfig_target : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck2_infertoolchain_target"><a href="#val-buck2_infertoolchain_target" class="anchor"></a><code><span><span class="keyword">val</span> buck2_infertoolchain_target : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck2_isolation_dir"><a href="#val-buck2_isolation_dir" class="anchor"></a><code><span><span class="keyword">val</span> buck2_isolation_dir : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck2_query_deps"><a href="#val-buck2_query_deps" class="anchor"></a><code><span><span class="keyword">val</span> buck2_query_deps : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck2_root"><a href="#val-buck2_root" class="anchor"></a><code><span><span class="keyword">val</span> buck2_root : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck_cache_mode"><a href="#val-buck_cache_mode" class="anchor"></a><code><span><span class="keyword">val</span> buck_cache_mode : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck_dependency_depth"><a href="#val-buck_dependency_depth" class="anchor"></a><code><span><span class="keyword">val</span> buck_dependency_depth : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck_mode"><a href="#val-buck_mode" class="anchor"></a><code><span><span class="keyword">val</span> buck_mode : <span><a href="../BuckMode/index.html#type-t">BuckMode.t</a> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck_out_gen"><a href="#val-buck_out_gen" class="anchor"></a><code><span><span class="keyword">val</span> buck_out_gen : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-buck_targets_block_list"><a href="#val-buck_targets_block_list" class="anchor"></a><code><span><span class="keyword">val</span> buck_targets_block_list : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-capture"><a href="#val-capture" class="anchor"></a><code><span><span class="keyword">val</span> capture : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-capture_block_list"><a href="#val-capture_block_list" class="anchor"></a><code><span><span class="keyword">val</span> capture_block_list : string * <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-capture_llair"><a href="#val-capture_llair" class="anchor"></a><code><span><span class="keyword">val</span> capture_llair : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-capture_textual"><a href="#val-capture_textual" class="anchor"></a><code><span><span class="keyword">val</span> capture_textual : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-censor_report"><a href="#val-censor_report" class="anchor"></a><code><span><span class="keyword">val</span> censor_report : <span><span>(<span>(bool * <span class="xref-unresolved">Str</span>.regexp)</span> * <span>(bool * <span class="xref-unresolved">Str</span>.regexp)</span> * string)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cfg_json"><a href="#val-cfg_json" class="anchor"></a><code><span><span class="keyword">val</span> cfg_json : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-changed_files_index"><a href="#val-changed_files_index" class="anchor"></a><code><span><span class="keyword">val</span> changed_files_index : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-check_version"><a href="#val-check_version" class="anchor"></a><code><span><span class="keyword">val</span> check_version : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_ast_file"><a href="#val-clang_ast_file" class="anchor"></a><code><span><span class="keyword">val</span> clang_ast_file : <span><span>[ <span>`Biniou of string</span> <span><span>| `Yojson</span> of string</span> ]</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_block_listed_flags"><a href="#val-clang_block_listed_flags" class="anchor"></a><code><span><span class="keyword">val</span> clang_block_listed_flags : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_block_listed_flags_with_arg"><a href="#val-clang_block_listed_flags_with_arg" class="anchor"></a><code><span><span class="keyword">val</span> clang_block_listed_flags_with_arg : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_compound_literal_init_limit"><a href="#val-clang_compound_literal_init_limit" class="anchor"></a><code><span><span class="keyword">val</span> clang_compound_literal_init_limit : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_extra_flags"><a href="#val-clang_extra_flags" class="anchor"></a><code><span><span class="keyword">val</span> clang_extra_flags : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_frontend_action_string"><a href="#val-clang_frontend_action_string" class="anchor"></a><code><span><span class="keyword">val</span> clang_frontend_action_string : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_idirafter_to_override_regex"><a href="#val-clang_idirafter_to_override_regex" class="anchor"></a><code><span><span class="keyword">val</span> clang_idirafter_to_override_regex : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_ignore_regex"><a href="#val-clang_ignore_regex" class="anchor"></a><code><span><span class="keyword">val</span> clang_ignore_regex : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_isystem_to_override_regex"><a href="#val-clang_isystem_to_override_regex" class="anchor"></a><code><span><span class="keyword">val</span> clang_isystem_to_override_regex : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clang_libcxx_include_to_override_regex"><a href="#val-clang_libcxx_include_to_override_regex" class="anchor"></a><code><span><span class="keyword">val</span> clang_libcxx_include_to_override_regex : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-classpath"><a href="#val-classpath" class="anchor"></a><code><span><span class="keyword">val</span> classpath : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-command"><a href="#val-command" class="anchor"></a><code><span><span class="keyword">val</span> command : <a href="../../ATDGenerated/InferCommand/index.html#type-t">ATDGenerated.InferCommand.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compaction_if_heap_greater_equal_to_GB"><a href="#val-compaction_if_heap_greater_equal_to_GB" class="anchor"></a><code><span><span class="keyword">val</span> compaction_if_heap_greater_equal_to_GB : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compaction_if_heap_greater_equal_to_GB_multicore"><a href="#val-compaction_if_heap_greater_equal_to_GB_multicore" class="anchor"></a><code><span><span class="keyword">val</span> compaction_if_heap_greater_equal_to_GB_multicore : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-complete_capture_from"><a href="#val-complete_capture_from" class="anchor"></a><code><span><span class="keyword">val</span> complete_capture_from : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compute_captured_context"><a href="#val-compute_captured_context" class="anchor"></a><code><span><span class="keyword">val</span> compute_captured_context : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_config_field_patterns"><a href="#val-config_impact_config_field_patterns" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_config_field_patterns : <span><span class="xref-unresolved">Str</span>.regexp list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_config_function_patterns"><a href="#val-config_impact_config_function_patterns" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_config_function_patterns : <span><span class="xref-unresolved">Str</span>.regexp list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_config_param_patterns"><a href="#val-config_impact_config_param_patterns" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_config_param_patterns : <span><span class="xref-unresolved">Str</span>.regexp list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_current"><a href="#val-config_impact_current" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_current : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_data_file"><a href="#val-config_impact_data_file" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_data_file : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_issues_tests"><a href="#val-config_impact_issues_tests" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_issues_tests : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_max_callees_to_print"><a href="#val-config_impact_max_callees_to_print" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_max_callees_to_print : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_previous"><a href="#val-config_impact_previous" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_previous : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_strict_mode"><a href="#val-config_impact_strict_mode" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_strict_mode : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_strict_mode_paths"><a href="#val-config_impact_strict_mode_paths" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_strict_mode_paths : <span><span class="xref-unresolved">Str</span>.regexp list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-config_impact_test_paths"><a href="#val-config_impact_test_paths" class="anchor"></a><code><span><span class="keyword">val</span> config_impact_test_paths : <span><span class="xref-unresolved">Str</span>.regexp list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-continue_analysis"><a href="#val-continue_analysis" class="anchor"></a><code><span><span class="keyword">val</span> continue_analysis : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-continue_capture"><a href="#val-continue_capture" class="anchor"></a><code><span><span class="keyword">val</span> continue_capture : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cost_issues_tests"><a href="#val-cost_issues_tests" class="anchor"></a><code><span><span class="keyword">val</span> cost_issues_tests : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cost_log_unknown_calls"><a href="#val-cost_log_unknown_calls" class="anchor"></a><code><span><span class="keyword">val</span> cost_log_unknown_calls : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cost_suppress_func_ptr"><a href="#val-cost_suppress_func_ptr" class="anchor"></a><code><span><span class="keyword">val</span> cost_suppress_func_ptr : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-costs_current"><a href="#val-costs_current" class="anchor"></a><code><span><span class="keyword">val</span> costs_current : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-costs_previous"><a href="#val-costs_previous" class="anchor"></a><code><span><span class="keyword">val</span> costs_previous : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cxx"><a href="#val-cxx" class="anchor"></a><code><span><span class="keyword">val</span> cxx : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cxx_scope_guards"><a href="#val-cxx_scope_guards" class="anchor"></a><code><span><span class="keyword">val</span> cxx_scope_guards : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-data_flow_queries_on_topl"><a href="#val-data_flow_queries_on_topl" class="anchor"></a><code><span><span class="keyword">val</span> data_flow_queries_on_topl : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dbwriter"><a href="#val-dbwriter" class="anchor"></a><code><span><span class="keyword">val</span> dbwriter : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-debug_exceptions"><a href="#val-debug_exceptions" class="anchor"></a><code><span><span class="keyword">val</span> debug_exceptions : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-debug_level_analysis"><a href="#val-debug_level_analysis" class="anchor"></a><code><span><span class="keyword">val</span> debug_level_analysis : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-debug_level_capture"><a href="#val-debug_level_capture" class="anchor"></a><code><span><span class="keyword">val</span> debug_level_capture : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-debug_level_report"><a href="#val-debug_level_report" class="anchor"></a><code><span><span class="keyword">val</span> debug_level_report : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-debug_mode"><a href="#val-debug_mode" class="anchor"></a><code><span><span class="keyword">val</span> debug_mode : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-deduplicate"><a href="#val-deduplicate" class="anchor"></a><code><span><span class="keyword">val</span> deduplicate : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-deduplicate_by"><a href="#val-deduplicate_by" class="anchor"></a><code><span><span class="keyword">val</span> deduplicate_by : <span>[ `Location <span>| `Trace</span> ]</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-default_hack_builtin_models_rel"><a href="#val-default_hack_builtin_models_rel" class="anchor"></a><code><span><span class="keyword">val</span> default_hack_builtin_models_rel : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dependency_mode"><a href="#val-dependency_mode" class="anchor"></a><code><span><span class="keyword">val</span> dependency_mode : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-detach_analysis_dependency"><a href="#val-detach_analysis_dependency" class="anchor"></a><code><span><span class="keyword">val</span> detach_analysis_dependency : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-developer_mode"><a href="#val-developer_mode" class="anchor"></a><code><span><span class="keyword">val</span> developer_mode : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dict_missing_key_var_block_list"><a href="#val-dict_missing_key_var_block_list" class="anchor"></a><code><span><span class="keyword">val</span> dict_missing_key_var_block_list : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-differential_filter_files"><a href="#val-differential_filter_files" class="anchor"></a><code><span><span class="keyword">val</span> differential_filter_files : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-differential_filter_set"><a href="#val-differential_filter_set" class="anchor"></a><code><span><span class="keyword">val</span> differential_filter_set : <span><span>[ `Introduced <span>| `Fixed</span> <span>| `Preexisting</span> ]</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dotty_cfg_libs"><a href="#val-dotty_cfg_libs" class="anchor"></a><code><span><span class="keyword">val</span> dotty_cfg_libs : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dump_duplicate_symbols"><a href="#val-dump_duplicate_symbols" class="anchor"></a><code><span><span class="keyword">val</span> dump_duplicate_symbols : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dump_llair"><a href="#val-dump_llair" class="anchor"></a><code><span><span class="keyword">val</span> dump_llair : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dump_llair_text"><a href="#val-dump_llair_text" class="anchor"></a><code><span><span class="keyword">val</span> dump_llair_text : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dump_textual"><a href="#val-dump_textual" class="anchor"></a><code><span><span class="keyword">val</span> dump_textual : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dynamic_dispatch_json_file_path"><a href="#val-dynamic_dispatch_json_file_path" class="anchor"></a><code><span><span class="keyword">val</span> dynamic_dispatch_json_file_path : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-erlang_ast_dir"><a href="#val-erlang_ast_dir" class="anchor"></a><code><span><span class="keyword">val</span> erlang_ast_dir : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-erlang_check_return"><a href="#val-erlang_check_return" class="anchor"></a><code><span><span class="keyword">val</span> erlang_check_return : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-erlang_list_unfold_depth"><a href="#val-erlang_list_unfold_depth" class="anchor"></a><code><span><span class="keyword">val</span> erlang_list_unfold_depth : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-erlang_reliability"><a href="#val-erlang_reliability" class="anchor"></a><code><span><span class="keyword">val</span> erlang_reliability : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-erlang_skip_compile"><a href="#val-erlang_skip_compile" class="anchor"></a><code><span><span class="keyword">val</span> erlang_skip_compile : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-erlang_with_otp_specs"><a href="#val-erlang_with_otp_specs" class="anchor"></a><code><span><span class="keyword">val</span> erlang_with_otp_specs : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-extract_capture_from"><a href="#val-extract_capture_from" class="anchor"></a><code><span><span class="keyword">val</span> extract_capture_from : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fail_on_bug"><a href="#val-fail_on_bug" class="anchor"></a><code><span><span class="keyword">val</span> fail_on_bug : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fcp_apple_clang"><a href="#val-fcp_apple_clang" class="anchor"></a><code><span><span class="keyword">val</span> fcp_apple_clang : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fcp_syntax_only"><a href="#val-fcp_syntax_only" class="anchor"></a><code><span><span class="keyword">val</span> fcp_syntax_only : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-file_renamings"><a href="#val-file_renamings" class="anchor"></a><code><span><span class="keyword">val</span> file_renamings : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-files_to_analyze_index"><a href="#val-files_to_analyze_index" class="anchor"></a><code><span><span class="keyword">val</span> files_to_analyze_index : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-filter_paths"><a href="#val-filter_paths" class="anchor"></a><code><span><span class="keyword">val</span> filter_paths : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-filtering"><a href="#val-filtering" class="anchor"></a><code><span><span class="keyword">val</span> filtering : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-force_delete_results_dir"><a href="#val-force_delete_results_dir" class="anchor"></a><code><span><span class="keyword">val</span> force_delete_results_dir : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-force_integration"><a href="#val-force_integration" class="anchor"></a><code><span><span class="keyword">val</span> force_integration : <span><a href="#type-build_system">build_system</a> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-from_json_config_impact_report"><a href="#val-from_json_config_impact_report" class="anchor"></a><code><span><span class="keyword">val</span> from_json_config_impact_report : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-from_json_costs_report"><a href="#val-from_json_costs_report" class="anchor"></a><code><span><span class="keyword">val</span> from_json_costs_report : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-from_json_report"><a href="#val-from_json_report" class="anchor"></a><code><span><span class="keyword">val</span> from_json_report : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-frontend_stats"><a href="#val-frontend_stats" class="anchor"></a><code><span><span class="keyword">val</span> frontend_stats : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-frontend_tests"><a href="#val-frontend_tests" class="anchor"></a><code><span><span class="keyword">val</span> frontend_tests : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-generated_classes"><a href="#val-generated_classes" class="anchor"></a><code><span><span class="keyword">val</span> generated_classes : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-genrule_mode"><a href="#val-genrule_mode" class="anchor"></a><code><span><span class="keyword">val</span> genrule_mode : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-global_tenv"><a href="#val-global_tenv" class="anchor"></a><code><span><span class="keyword">val</span> global_tenv : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hackc_binary"><a href="#val-hackc_binary" class="anchor"></a><code><span><span class="keyword">val</span> hackc_binary : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pulse_hack_builder_pattern"><a href="#type-pulse_hack_builder_pattern" class="anchor"></a><code><span><span class="keyword">type</span> pulse_hack_builder_pattern</span><span> = </span><span>{</span></code><ol><li id="type-pulse_hack_builder_pattern.class_name" class="def record field anchored"><a href="#type-pulse_hack_builder_pattern.class_name" class="anchor"></a><code><span>class_name : string;</span></code></li><li id="type-pulse_hack_builder_pattern.finalizers" class="def record field anchored"><a href="#type-pulse_hack_builder_pattern.finalizers" class="anchor"></a><code><span>finalizers : <span>string list</span>;</span></code></li><li id="type-pulse_hack_builder_pattern.receiver_finalizers" class="def record field anchored"><a href="#type-pulse_hack_builder_pattern.receiver_finalizers" class="anchor"></a><code><span>receiver_finalizers : <span><span>string list</span> option</span>;</span></code></li><li id="type-pulse_hack_builder_pattern.immediately_non_discardable_class" class="def record field anchored"><a href="#type-pulse_hack_builder_pattern.immediately_non_discardable_class" class="anchor"></a><code><span>immediately_non_discardable_class : <span>string option</span>;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pulse_hack_builder_patterns"><a href="#type-pulse_hack_builder_patterns" class="anchor"></a><code><span><span class="keyword">type</span> pulse_hack_builder_patterns</span><span> = <span><a href="#type-pulse_hack_builder_pattern">pulse_hack_builder_pattern</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hack_builder_patterns"><a href="#val-hack_builder_patterns" class="anchor"></a><code><span><span class="keyword">val</span> hack_builder_patterns : <a href="#type-pulse_hack_builder_patterns">pulse_hack_builder_patterns</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hack_builtin_models"><a href="#val-hack_builtin_models" class="anchor"></a><code><span><span class="keyword">val</span> hack_builtin_models : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hack_models"><a href="#val-hack_models" class="anchor"></a><code><span><span class="keyword">val</span> hack_models : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hack_naming_table"><a href="#val-hack_naming_table" class="anchor"></a><code><span><span class="keyword">val</span> hack_naming_table : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hack_verify_capture_only"><a href="#val-hack_verify_capture_only" class="anchor"></a><code><span><span class="keyword">val</span> hack_verify_capture_only : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-help_checker"><a href="#val-help_checker" class="anchor"></a><code><span><span class="keyword">val</span> help_checker : <span><a href="../Checker/index.html#type-t">Checker.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-help_issue_type"><a href="#val-help_issue_type" class="anchor"></a><code><span><span class="keyword">val</span> help_issue_type : <span><a href="../IssueType/index.html#type-t">IssueType.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hoisting_report_only_expensive"><a href="#val-hoisting_report_only_expensive" class="anchor"></a><code><span><span class="keyword">val</span> hoisting_report_only_expensive : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-html"><a href="#val-html" class="anchor"></a><code><span><span class="keyword">val</span> html : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-icfg_dotty_outfile"><a href="#val-icfg_dotty_outfile" class="anchor"></a><code><span><span class="keyword">val</span> icfg_dotty_outfile : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-implicit_sdk_root"><a href="#val-implicit_sdk_root" class="anchor"></a><code><span><span class="keyword">val</span> implicit_sdk_root : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-impurity_report_immutable_modifications"><a href="#val-impurity_report_immutable_modifications" class="anchor"></a><code><span><span class="keyword">val</span> impurity_report_immutable_modifications : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-inclusive_cost"><a href="#val-inclusive_cost" class="anchor"></a><code><span><span class="keyword">val</span> inclusive_cost : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-incremental_analysis"><a href="#val-incremental_analysis" class="anchor"></a><code><span><span class="keyword">val</span> incremental_analysis : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-infer_is_clang"><a href="#val-infer_is_clang" class="anchor"></a><code><span><span class="keyword">val</span> infer_is_clang : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-infer_is_javac"><a href="#val-infer_is_javac" class="anchor"></a><code><span><span class="keyword">val</span> infer_is_javac : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-inferbo_lru_max_size"><a href="#val-inferbo_lru_max_size" class="anchor"></a><code><span><span class="keyword">val</span> inferbo_lru_max_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-inferconfig_file"><a href="#val-inferconfig_file" class="anchor"></a><code><span><span class="keyword">val</span> inferconfig_file : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-inline_func_pointer_for_testing"><a href="#val-inline_func_pointer_for_testing" class="anchor"></a><code><span><span class="keyword">val</span> inline_func_pointer_for_testing : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-invalidate_only"><a href="#val-invalidate_only" class="anchor"></a><code><span><span class="keyword">val</span> invalidate_only : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_checker_enabled"><a href="#val-is_checker_enabled" class="anchor"></a><code><span><span class="keyword">val</span> is_checker_enabled : <span><a href="../Checker/index.html#type-t">Checker.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-issues_tests"><a href="#val-issues_tests" class="anchor"></a><code><span><span class="keyword">val</span> issues_tests : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-issues_tests_fields"><a href="#val-issues_tests_fields" class="anchor"></a><code><span><span class="keyword">val</span> issues_tests_fields : <span><a href="../IssuesTestField/index.html#type-t">IssuesTestField.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-java_debug_source_file_info"><a href="#val-java_debug_source_file_info" class="anchor"></a><code><span><span class="keyword">val</span> java_debug_source_file_info : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-java_jar_compiler"><a href="#val-java_jar_compiler" class="anchor"></a><code><span><span class="keyword">val</span> java_jar_compiler : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-java_read_modules"><a href="#val-java_read_modules" class="anchor"></a><code><span><span class="keyword">val</span> java_read_modules : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-java_source_parser_experimental"><a href="#val-java_source_parser_experimental" class="anchor"></a><code><span><span class="keyword">val</span> java_source_parser_experimental : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-java_version"><a href="#val-java_version" class="anchor"></a><code><span><span class="keyword">val</span> java_version : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-javac_classes_out"><a href="#val-javac_classes_out" class="anchor"></a><code><span><span class="keyword">val</span> javac_classes_out : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-job_id"><a href="#val-job_id" class="anchor"></a><code><span><span class="keyword">val</span> job_id : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-jobs"><a href="#val-jobs" class="anchor"></a><code><span><span class="keyword">val</span> jobs : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-keep_going"><a href="#val-keep_going" class="anchor"></a><code><span><span class="keyword">val</span> keep_going : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-kotlin_capture"><a href="#val-kotlin_capture" class="anchor"></a><code><span><span class="keyword">val</span> kotlin_capture : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_source"><a href="#val-lineage_source" class="anchor"></a><code><span><span class="keyword">val</span> lineage_source : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_sink"><a href="#val-lineage_sink" class="anchor"></a><code><span><span class="keyword">val</span> lineage_sink : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_sanitizers"><a href="#val-lineage_sanitizers" class="anchor"></a><code><span><span class="keyword">val</span> lineage_sanitizers : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_limit"><a href="#val-lineage_limit" class="anchor"></a><code><span><span class="keyword">val</span> lineage_limit : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_dedup"><a href="#val-lineage_dedup" class="anchor"></a><code><span><span class="keyword">val</span> lineage_dedup : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_field_depth"><a href="#val-lineage_field_depth" class="anchor"></a><code><span><span class="keyword">val</span> lineage_field_depth : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_field_max_cfg_size"><a href="#val-lineage_field_max_cfg_size" class="anchor"></a><code><span><span class="keyword">val</span> lineage_field_max_cfg_size : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_field_width"><a href="#val-lineage_field_width" class="anchor"></a><code><span><span class="keyword">val</span> lineage_field_width : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_include_builtins"><a href="#val-lineage_include_builtins" class="anchor"></a><code><span><span class="keyword">val</span> lineage_include_builtins : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_json_report"><a href="#val-lineage_json_report" class="anchor"></a><code><span><span class="keyword">val</span> lineage_json_report : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_keep_temporaries"><a href="#val-lineage_keep_temporaries" class="anchor"></a><code><span><span class="keyword">val</span> lineage_keep_temporaries : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_max_cfg_size"><a href="#val-lineage_max_cfg_size" class="anchor"></a><code><span><span class="keyword">val</span> lineage_max_cfg_size : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_prevent_cycles"><a href="#val-lineage_prevent_cycles" class="anchor"></a><code><span><span class="keyword">val</span> lineage_prevent_cycles : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_seed"><a href="#val-lineage_seed" class="anchor"></a><code><span><span class="keyword">val</span> lineage_seed : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lineage_variant_width"><a href="#val-lineage_variant_width" class="anchor"></a><code><span><span class="keyword">val</span> lineage_variant_width : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-list_categories"><a href="#val-list_categories" class="anchor"></a><code><span><span class="keyword">val</span> list_categories : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-list_checkers"><a href="#val-list_checkers" class="anchor"></a><code><span><span class="keyword">val</span> list_checkers : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-list_issue_types"><a href="#val-list_issue_types" class="anchor"></a><code><span><span class="keyword">val</span> list_issue_types : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-liveness_block_list_var_regex"><a href="#val-liveness_block_list_var_regex" class="anchor"></a><code><span><span class="keyword">val</span> liveness_block_list_var_regex : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-liveness_dangerous_classes"><a href="#val-liveness_dangerous_classes" class="anchor"></a><code><span><span class="keyword">val</span> liveness_dangerous_classes : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-liveness_ignored_constant"><a href="#val-liveness_ignored_constant" class="anchor"></a><code><span><span class="keyword">val</span> liveness_ignored_constant : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-llair_source_file"><a href="#val-llair_source_file" class="anchor"></a><code><span><span class="keyword">val</span> llair_source_file : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lock_model"><a href="#val-lock_model" class="anchor"></a><code><span><span class="keyword">val</span> lock_model : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-log_pulse_disjunct_increase_after_model_call"><a href="#val-log_pulse_disjunct_increase_after_model_call" class="anchor"></a><code><span><span class="keyword">val</span> log_pulse_disjunct_increase_after_model_call : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-log_pulse_coverage"><a href="#val-log_pulse_coverage" class="anchor"></a><code><span><span class="keyword">val</span> log_pulse_coverage : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-log_missing_deps"><a href="#val-log_missing_deps" class="anchor"></a><code><span><span class="keyword">val</span> log_missing_deps : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-margin_html"><a href="#val-margin_html" class="anchor"></a><code><span><span class="keyword">val</span> margin_html : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mark_unchanged_procs"><a href="#val-mark_unchanged_procs" class="anchor"></a><code><span><span class="keyword">val</span> mark_unchanged_procs : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mask_sajwa_exceptions"><a href="#val-mask_sajwa_exceptions" class="anchor"></a><code><span><span class="keyword">val</span> mask_sajwa_exceptions : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-max_nesting"><a href="#val-max_nesting" class="anchor"></a><code><span><span class="keyword">val</span> max_nesting : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-memtrace_analysis"><a href="#val-memtrace_analysis" class="anchor"></a><code><span><span class="keyword">val</span> memtrace_analysis : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-memtrace_sampling_rate"><a href="#val-memtrace_sampling_rate" class="anchor"></a><code><span><span class="keyword">val</span> memtrace_sampling_rate : float</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-merge_capture"><a href="#val-merge_capture" class="anchor"></a><code><span><span class="keyword">val</span> merge_capture : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-merge_report"><a href="#val-merge_report" class="anchor"></a><code><span><span class="keyword">val</span> merge_report : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-merge_summaries"><a href="#val-merge_summaries" class="anchor"></a><code><span><span class="keyword">val</span> merge_summaries : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-modeled_expensive"><a href="#val-modeled_expensive" class="anchor"></a><code><span><span class="keyword">val</span> modeled_expensive : string * <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-multicore"><a href="#val-multicore" class="anchor"></a><code><span><span class="keyword">val</span> multicore : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-never_returning_null"><a href="#val-never_returning_null" class="anchor"></a><code><span><span class="keyword">val</span> never_returning_null : string * <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-noescaping_function_list"><a href="#val-noescaping_function_list" class="anchor"></a><code><span><span class="keyword">val</span> noescaping_function_list : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-no_censor_report"><a href="#val-no_censor_report" class="anchor"></a><code><span><span class="keyword">val</span> no_censor_report : <span><span class="xref-unresolved">Str</span>.regexp list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-no_translate_libs"><a href="#val-no_translate_libs" class="anchor"></a><code><span><span class="keyword">val</span> no_translate_libs : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-objc_block_execution_macro"><a href="#val-objc_block_execution_macro" class="anchor"></a><code><span><span class="keyword">val</span> objc_block_execution_macro : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-objc_synthesize_dealloc"><a href="#val-objc_synthesize_dealloc" class="anchor"></a><code><span><span class="keyword">val</span> objc_synthesize_dealloc : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-ondemand_recursion_restart_limit"><a href="#val-ondemand_recursion_restart_limit" class="anchor"></a><code><span><span class="keyword">val</span> ondemand_recursion_restart_limit : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-only_cheap_debug"><a href="#val-only_cheap_debug" class="anchor"></a><code><span><span class="keyword">val</span> only_cheap_debug : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-oom_threshold"><a href="#val-oom_threshold" class="anchor"></a><code><span><span class="keyword">val</span> oom_threshold : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pmd_xml"><a href="#val-pmd_xml" class="anchor"></a><code><span><span class="keyword">val</span> pmd_xml : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-preanalysis_html"><a href="#val-preanalysis_html" class="anchor"></a><code><span><span class="keyword">val</span> preanalysis_html : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print_active_checkers"><a href="#val-print_active_checkers" class="anchor"></a><code><span><span class="keyword">val</span> print_active_checkers : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print_jbir"><a href="#val-print_jbir" class="anchor"></a><code><span><span class="keyword">val</span> print_jbir : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print_logs"><a href="#val-print_logs" class="anchor"></a><code><span><span class="keyword">val</span> print_logs : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print_types"><a href="#val-print_types" class="anchor"></a><code><span><span class="keyword">val</span> print_types : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print_using_diff"><a href="#val-print_using_diff" class="anchor"></a><code><span><span class="keyword">val</span> print_using_diff : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures"><a href="#val-procedures" class="anchor"></a><code><span><span class="keyword">val</span> procedures : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_attributes"><a href="#val-procedures_attributes" class="anchor"></a><code><span><span class="keyword">val</span> procedures_attributes : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_call_graph"><a href="#val-procedures_call_graph" class="anchor"></a><code><span><span class="keyword">val</span> procedures_call_graph : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_callees"><a href="#val-procedures_callees" class="anchor"></a><code><span><span class="keyword">val</span> procedures_callees : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_cfg"><a href="#val-procedures_cfg" class="anchor"></a><code><span><span class="keyword">val</span> procedures_cfg : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_definedness"><a href="#val-procedures_definedness" class="anchor"></a><code><span><span class="keyword">val</span> procedures_definedness : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_filter"><a href="#val-procedures_filter" class="anchor"></a><code><span><span class="keyword">val</span> procedures_filter : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_name"><a href="#val-procedures_name" class="anchor"></a><code><span><span class="keyword">val</span> procedures_name : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_source_file"><a href="#val-procedures_source_file" class="anchor"></a><code><span><span class="keyword">val</span> procedures_source_file : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_summary"><a href="#val-procedures_summary" class="anchor"></a><code><span><span class="keyword">val</span> procedures_summary : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_summary_json"><a href="#val-procedures_summary_json" class="anchor"></a><code><span><span class="keyword">val</span> procedures_summary_json : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procedures_summary_skip_empty"><a href="#val-procedures_summary_skip_empty" class="anchor"></a><code><span><span class="keyword">val</span> procedures_summary_skip_empty : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-procs_to_analyze_index"><a href="#val-procs_to_analyze_index" class="anchor"></a><code><span><span class="keyword">val</span> procs_to_analyze_index : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-progress_bar"><a href="#val-progress_bar" class="anchor"></a><code><span><span class="keyword">val</span> progress_bar : <span>[ `MultiLine <span>| `Plain</span> <span>| `Quiet</span> ]</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-project_root"><a href="#val-project_root" class="anchor"></a><code><span><span class="keyword">val</span> project_root : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_balanced_disjuncts_strategy"><a href="#val-pulse_balanced_disjuncts_strategy" class="anchor"></a><code><span><span class="keyword">val</span> pulse_balanced_disjuncts_strategy : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_cut_to_one_path_procedures_pattern"><a href="#val-pulse_cut_to_one_path_procedures_pattern" class="anchor"></a><code><span><span class="keyword">val</span> pulse_cut_to_one_path_procedures_pattern : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_force_continue"><a href="#val-pulse_force_continue" class="anchor"></a><code><span><span class="keyword">val</span> pulse_force_continue : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_havoc_arguments"><a href="#val-pulse_havoc_arguments" class="anchor"></a><code><span><span class="keyword">val</span> pulse_havoc_arguments : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_inline_global_init_func_pointer"><a href="#val-pulse_inline_global_init_func_pointer" class="anchor"></a><code><span><span class="keyword">val</span> pulse_inline_global_init_func_pointer : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_intraprocedural_only"><a href="#val-pulse_intraprocedural_only" class="anchor"></a><code><span><span class="keyword">val</span> pulse_intraprocedural_only : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_log_summary_count"><a href="#val-pulse_log_summary_count" class="anchor"></a><code><span><span class="keyword">val</span> pulse_log_summary_count : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_log_unknown_calls"><a href="#val-pulse_log_unknown_calls" class="anchor"></a><code><span><span class="keyword">val</span> pulse_log_unknown_calls : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_log_unknown_calls_sampled"><a href="#val-pulse_log_unknown_calls_sampled" class="anchor"></a><code><span><span class="keyword">val</span> pulse_log_unknown_calls_sampled : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_max_cfg_size"><a href="#val-pulse_max_cfg_size" class="anchor"></a><code><span><span class="keyword">val</span> pulse_max_cfg_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_max_disjuncts"><a href="#val-pulse_max_disjuncts" class="anchor"></a><code><span><span class="keyword">val</span> pulse_max_disjuncts : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_max_heap"><a href="#val-pulse_max_heap" class="anchor"></a><code><span><span class="keyword">val</span> pulse_max_heap : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_abort"><a href="#val-pulse_model_abort" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_abort : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_alloc_pattern"><a href="#val-pulse_model_alloc_pattern" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_alloc_pattern : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_cheap_copy_type"><a href="#val-pulse_model_cheap_copy_type" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_cheap_copy_type : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_deep_release_pattern"><a href="#val-pulse_model_deep_release_pattern" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_deep_release_pattern : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_free_pattern"><a href="#val-pulse_model_free_pattern" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_free_pattern : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_malloc_pattern"><a href="#val-pulse_model_malloc_pattern" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_malloc_pattern : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_realloc_pattern"><a href="#val-pulse_model_realloc_pattern" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_realloc_pattern : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_release_pattern"><a href="#val-pulse_model_release_pattern" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_release_pattern : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_return_first_arg"><a href="#val-pulse_model_return_first_arg" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_return_first_arg : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_return_nonnull"><a href="#val-pulse_model_return_nonnull" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_return_nonnull : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_return_nullable"><a href="#val-pulse_model_return_nullable" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_return_nullable : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_return_this"><a href="#val-pulse_model_return_this" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_return_this : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_returns_copy_pattern"><a href="#val-pulse_model_returns_copy_pattern" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_returns_copy_pattern : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_skip_pattern"><a href="#val-pulse_model_skip_pattern" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_skip_pattern : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_transfer_ownership"><a href="#val-pulse_model_transfer_ownership" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_transfer_ownership : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_transfer_ownership_namespace"><a href="#val-pulse_model_transfer_ownership_namespace" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_transfer_ownership_namespace : <span><span>(string * string)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_unknown_pure"><a href="#val-pulse_model_unknown_pure" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_unknown_pure : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_model_unreachable"><a href="#val-pulse_model_unreachable" class="anchor"></a><code><span><span class="keyword">val</span> pulse_model_unreachable : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_models_for_erlang"><a href="#val-pulse_models_for_erlang" class="anchor"></a><code><span><span class="keyword">val</span> pulse_models_for_erlang : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_monitor_transitive_callees"><a href="#val-pulse_monitor_transitive_callees" class="anchor"></a><code><span><span class="keyword">val</span> pulse_monitor_transitive_callees : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_monitor_transitive_missed_captures"><a href="#val-pulse_monitor_transitive_missed_captures" class="anchor"></a><code><span><span class="keyword">val</span> pulse_monitor_transitive_missed_captures : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_nullsafe_report_npe"><a href="#val-pulse_nullsafe_report_npe" class="anchor"></a><code><span><span class="keyword">val</span> pulse_nullsafe_report_npe : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_nullsafe_report_npe_as_separate_issue_type"><a href="#val-pulse_nullsafe_report_npe_as_separate_issue_type" class="anchor"></a><code><span><span class="keyword">val</span> pulse_nullsafe_report_npe_as_separate_issue_type : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_over_approximate_reasoning"><a href="#val-pulse_over_approximate_reasoning" class="anchor"></a><code><span><span class="keyword">val</span> pulse_over_approximate_reasoning : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_prevent_non_disj_top"><a href="#val-pulse_prevent_non_disj_top" class="anchor"></a><code><span><span class="keyword">val</span> pulse_prevent_non_disj_top : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_recency_limit"><a href="#val-pulse_recency_limit" class="anchor"></a><code><span><span class="keyword">val</span> pulse_recency_limit : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_report_flows_from_taint_source"><a href="#val-pulse_report_flows_from_taint_source" class="anchor"></a><code><span><span class="keyword">val</span> pulse_report_flows_from_taint_source : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_report_flows_to_taint_sink"><a href="#val-pulse_report_flows_to_taint_sink" class="anchor"></a><code><span><span class="keyword">val</span> pulse_report_flows_to_taint_sink : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_report_issues_for_tests"><a href="#val-pulse_report_issues_for_tests" class="anchor"></a><code><span><span class="keyword">val</span> pulse_report_issues_for_tests : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_report_latent_issues"><a href="#val-pulse_report_latent_issues" class="anchor"></a><code><span><span class="keyword">val</span> pulse_report_latent_issues : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_sanity_checks"><a href="#val-pulse_sanity_checks" class="anchor"></a><code><span><span class="keyword">val</span> pulse_sanity_checks : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_skip_procedures"><a href="#val-pulse_skip_procedures" class="anchor"></a><code><span><span class="keyword">val</span> pulse_skip_procedures : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_specialization_iteration_limit"><a href="#val-pulse_specialization_iteration_limit" class="anchor"></a><code><span><span class="keyword">val</span> pulse_specialization_iteration_limit : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_specialization_limit"><a href="#val-pulse_specialization_limit" class="anchor"></a><code><span><span class="keyword">val</span> pulse_specialization_limit : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_specialization_partial"><a href="#val-pulse_specialization_partial" class="anchor"></a><code><span><span class="keyword">val</span> pulse_specialization_partial : bool</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pulse_taint_config"><a href="#type-pulse_taint_config" class="anchor"></a><code><span><span class="keyword">type</span> pulse_taint_config</span><span> = </span><span>{</span></code><ol><li id="type-pulse_taint_config.sources" class="def record field anchored"><a href="#type-pulse_taint_config.sources" class="anchor"></a><code><span>sources : <a href="../../ATDGenerated/Pulse_config_t/index.html#type-matchers">ATDGenerated.Pulse_config_t.matchers</a>;</span></code></li><li id="type-pulse_taint_config.sanitizers" class="def record field anchored"><a href="#type-pulse_taint_config.sanitizers" class="anchor"></a><code><span>sanitizers : <a href="../../ATDGenerated/Pulse_config_t/index.html#type-matchers">ATDGenerated.Pulse_config_t.matchers</a>;</span></code></li><li id="type-pulse_taint_config.propagators" class="def record field anchored"><a href="#type-pulse_taint_config.propagators" class="anchor"></a><code><span>propagators : <a href="../../ATDGenerated/Pulse_config_t/index.html#type-matchers">ATDGenerated.Pulse_config_t.matchers</a>;</span></code></li><li id="type-pulse_taint_config.sinks" class="def record field anchored"><a href="#type-pulse_taint_config.sinks" class="anchor"></a><code><span>sinks : <a href="../../ATDGenerated/Pulse_config_t/index.html#type-matchers">ATDGenerated.Pulse_config_t.matchers</a>;</span></code></li><li id="type-pulse_taint_config.policies" class="def record field anchored"><a href="#type-pulse_taint_config.policies" class="anchor"></a><code><span>policies : <a href="../../ATDGenerated/Pulse_config_t/index.html#type-taint_policies">ATDGenerated.Pulse_config_t.taint_policies</a>;</span></code></li><li id="type-pulse_taint_config.data_flow_kinds" class="def record field anchored"><a href="#type-pulse_taint_config.data_flow_kinds" class="anchor"></a><code><span>data_flow_kinds : <span>string list</span>;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_taint_config"><a href="#val-pulse_taint_config" class="anchor"></a><code><span><span class="keyword">val</span> pulse_taint_config : <a href="#type-pulse_taint_config">pulse_taint_config</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_taint_follow_field_accesses"><a href="#val-pulse_taint_follow_field_accesses" class="anchor"></a><code><span><span class="keyword">val</span> pulse_taint_follow_field_accesses : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_taint_opaque_files"><a href="#val-pulse_taint_opaque_files" class="anchor"></a><code><span><span class="keyword">val</span> pulse_taint_opaque_files : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_taint_short_traces"><a href="#val-pulse_taint_short_traces" class="anchor"></a><code><span><span class="keyword">val</span> pulse_taint_short_traces : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_taint_skip_sources"><a href="#val-pulse_taint_skip_sources" class="anchor"></a><code><span><span class="keyword">val</span> pulse_taint_skip_sources : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_transitive_access_config"><a href="#val-pulse_transitive_access_config" class="anchor"></a><code><span><span class="keyword">val</span> pulse_transitive_access_config : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_transitive_access_enabled"><a href="#val-pulse_transitive_access_enabled" class="anchor"></a><code><span><span class="keyword">val</span> pulse_transitive_access_enabled : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_transitive_access_verbose"><a href="#val-pulse_transitive_access_verbose" class="anchor"></a><code><span><span class="keyword">val</span> pulse_transitive_access_verbose : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_unsafe_malloc"><a href="#val-pulse_unsafe_malloc" class="anchor"></a><code><span><span class="keyword">val</span> pulse_unsafe_malloc : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pulse_widen_threshold"><a href="#val-pulse_widen_threshold" class="anchor"></a><code><span><span class="keyword">val</span> pulse_widen_threshold : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pure_by_default"><a href="#val-pure_by_default" class="anchor"></a><code><span><span class="keyword">val</span> pure_by_default : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pyc_file"><a href="#val-pyc_file" class="anchor"></a><code><span><span class="keyword">val</span> pyc_file : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-python_files_index"><a href="#val-python_files_index" class="anchor"></a><code><span><span class="keyword">val</span> python_files_index : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-python_trim_source_paths"><a href="#val-python_trim_source_paths" class="anchor"></a><code><span><span class="keyword">val</span> python_trim_source_paths : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-python_skip_db"><a href="#val-python_skip_db" class="anchor"></a><code><span><span class="keyword">val</span> python_skip_db : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-python_exe"><a href="#val-python_exe" class="anchor"></a><code><span><span class="keyword">val</span> python_exe : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-qualified_cpp_name_block_list"><a href="#val-qualified_cpp_name_block_list" class="anchor"></a><code><span><span class="keyword">val</span> qualified_cpp_name_block_list : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-quiet"><a href="#val-quiet" class="anchor"></a><code><span><span class="keyword">val</span> quiet : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-racerd_always_report_java"><a href="#val-racerd_always_report_java" class="anchor"></a><code><span><span class="keyword">val</span> racerd_always_report_java : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-racerd_guardedby"><a href="#val-racerd_guardedby" class="anchor"></a><code><span><span class="keyword">val</span> racerd_guardedby : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-racerd_ignore_classes"><a href="#val-racerd_ignore_classes" class="anchor"></a><code><span><span class="keyword">val</span> racerd_ignore_classes : <a href="../../IStdlib/IString/Set/index.html#type-t">IStdlib.IString.Set.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-reactive_mode"><a href="#val-reactive_mode" class="anchor"></a><code><span><span class="keyword">val</span> reactive_mode : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-reactive_capture"><a href="#val-reactive_capture" class="anchor"></a><code><span><span class="keyword">val</span> reactive_capture : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-reanalyze"><a href="#val-reanalyze" class="anchor"></a><code><span><span class="keyword">val</span> reanalyze : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-relative_path_backtrack"><a href="#val-relative_path_backtrack" class="anchor"></a><code><span><span class="keyword">val</span> relative_path_backtrack : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-replay_analysis_schedule"><a href="#val-replay_analysis_schedule" class="anchor"></a><code><span><span class="keyword">val</span> replay_analysis_schedule : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-replay_ondemand_should_error"><a href="#val-replay_ondemand_should_error" class="anchor"></a><code><span><span class="keyword">val</span> replay_ondemand_should_error : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report"><a href="#val-report" class="anchor"></a><code><span><span class="keyword">val</span> report : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_block_list_spec"><a href="#val-report_block_list_spec" class="anchor"></a><code><span><span class="keyword">val</span> report_block_list_spec : 
  <a href="../../ATDGenerated/Report_block_list_spec_t/index.html#type-report_block_list_specs">ATDGenerated.Report_block_list_spec_t.report_block_list_specs</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_block_list_files_containing"><a href="#val-report_block_list_files_containing" class="anchor"></a><code><span><span class="keyword">val</span> report_block_list_files_containing : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_console_limit"><a href="#val-report_console_limit" class="anchor"></a><code><span><span class="keyword">val</span> report_console_limit : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_current"><a href="#val-report_current" class="anchor"></a><code><span><span class="keyword">val</span> report_current : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_custom_error"><a href="#val-report_custom_error" class="anchor"></a><code><span><span class="keyword">val</span> report_custom_error : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_force_relative_path"><a href="#val-report_force_relative_path" class="anchor"></a><code><span><span class="keyword">val</span> report_force_relative_path : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_formatter"><a href="#val-report_formatter" class="anchor"></a><code><span><span class="keyword">val</span> report_formatter : <span>[ `No_formatter <span>| `Phabricator_formatter</span> ]</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_path_regex_allow_list"><a href="#val-report_path_regex_allow_list" class="anchor"></a><code><span><span class="keyword">val</span> report_path_regex_allow_list : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_path_regex_block_list"><a href="#val-report_path_regex_block_list" class="anchor"></a><code><span><span class="keyword">val</span> report_path_regex_block_list : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_previous"><a href="#val-report_previous" class="anchor"></a><code><span><span class="keyword">val</span> report_previous : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-report_suppress_errors"><a href="#val-report_suppress_errors" class="anchor"></a><code><span><span class="keyword">val</span> report_suppress_errors : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-reports_include_ml_loc"><a href="#val-reports_include_ml_loc" class="anchor"></a><code><span><span class="keyword">val</span> reports_include_ml_loc : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-rest"><a href="#val-rest" class="anchor"></a><code><span><span class="keyword">val</span> rest : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-results_dir"><a href="#val-results_dir" class="anchor"></a><code><span><span class="keyword">val</span> results_dir : string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-run_as_child"><a href="#val-run_as_child" class="anchor"></a><code><span><span class="keyword">val</span> run_as_child : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-run_python_interpreter"><a href="#val-run_python_interpreter" class="anchor"></a><code><span><span class="keyword">val</span> run_python_interpreter : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sarif"><a href="#val-sarif" class="anchor"></a><code><span><span class="keyword">val</span> sarif : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-scheduler"><a href="#val-scheduler" class="anchor"></a><code><span><span class="keyword">val</span> scheduler : <a href="#type-scheduler">scheduler</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-scope_leakage_config"><a href="#val-scope_leakage_config" class="anchor"></a><code><span><span class="keyword">val</span> scope_leakage_config : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-select"><a href="#val-select" class="anchor"></a><code><span><span class="keyword">val</span> select : <span><span>[ `All <span><span>| `Select</span> of int</span> ]</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-shrink_analysis_db"><a href="#val-shrink_analysis_db" class="anchor"></a><code><span><span class="keyword">val</span> shrink_analysis_db : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-siof_check_iostreams"><a href="#val-siof_check_iostreams" class="anchor"></a><code><span><span class="keyword">val</span> siof_check_iostreams : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-siof_safe_methods"><a href="#val-siof_safe_methods" class="anchor"></a><code><span><span class="keyword">val</span> siof_safe_methods : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-skip_analysis_in_path"><a href="#val-skip_analysis_in_path" class="anchor"></a><code><span><span class="keyword">val</span> skip_analysis_in_path : <span><span class="xref-unresolved">Str</span>.regexp option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-skip_analysis_in_path_skips_compilation"><a href="#val-skip_analysis_in_path_skips_compilation" class="anchor"></a><code><span><span class="keyword">val</span> skip_analysis_in_path_skips_compilation : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-skip_duplicated_types"><a href="#val-skip_duplicated_types" class="anchor"></a><code><span><span class="keyword">val</span> skip_duplicated_types : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-skip_non_capture_clang_commands"><a href="#val-skip_non_capture_clang_commands" class="anchor"></a><code><span><span class="keyword">val</span> skip_non_capture_clang_commands : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-skip_translation_headers"><a href="#val-skip_translation_headers" class="anchor"></a><code><span><span class="keyword">val</span> skip_translation_headers : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_debug"><a href="#val-source_debug" class="anchor"></a><code><span><span class="keyword">val</span> source_debug : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_files"><a href="#val-source_files" class="anchor"></a><code><span><span class="keyword">val</span> source_files : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_files_call_graph"><a href="#val-source_files_call_graph" class="anchor"></a><code><span><span class="keyword">val</span> source_files_call_graph : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_files_call_graph_partition"><a href="#val-source_files_call_graph_partition" class="anchor"></a><code><span><span class="keyword">val</span> source_files_call_graph_partition : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_files_cfg"><a href="#val-source_files_cfg" class="anchor"></a><code><span><span class="keyword">val</span> source_files_cfg : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_files_filter"><a href="#val-source_files_filter" class="anchor"></a><code><span><span class="keyword">val</span> source_files_filter : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_files_freshly_captured"><a href="#val-source_files_freshly_captured" class="anchor"></a><code><span><span class="keyword">val</span> source_files_freshly_captured : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_files_procedure_names"><a href="#val-source_files_procedure_names" class="anchor"></a><code><span><span class="keyword">val</span> source_files_procedure_names : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_files_type_environment"><a href="#val-source_files_type_environment" class="anchor"></a><code><span><span class="keyword">val</span> source_files_type_environment : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-source_preview"><a href="#val-source_preview" class="anchor"></a><code><span><span class="keyword">val</span> source_preview : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sourcepath"><a href="#val-sourcepath" class="anchor"></a><code><span><span class="keyword">val</span> sourcepath : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sources"><a href="#val-sources" class="anchor"></a><code><span><span class="keyword">val</span> sources : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sqlite_cache_size"><a href="#val-sqlite_cache_size" class="anchor"></a><code><span><span class="keyword">val</span> sqlite_cache_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sqlite_lock_timeout"><a href="#val-sqlite_lock_timeout" class="anchor"></a><code><span><span class="keyword">val</span> sqlite_lock_timeout : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sqlite_max_blob_size"><a href="#val-sqlite_max_blob_size" class="anchor"></a><code><span><span class="keyword">val</span> sqlite_max_blob_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sqlite_mmap_size"><a href="#val-sqlite_mmap_size" class="anchor"></a><code><span><span class="keyword">val</span> sqlite_mmap_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sqlite_page_size"><a href="#val-sqlite_page_size" class="anchor"></a><code><span><span class="keyword">val</span> sqlite_page_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sqlite_vfs"><a href="#val-sqlite_vfs" class="anchor"></a><code><span><span class="keyword">val</span> sqlite_vfs : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-starvation_c_function_pointer_models"><a href="#val-starvation_c_function_pointer_models" class="anchor"></a><code><span><span class="keyword">val</span> starvation_c_function_pointer_models : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-starvation_c_named_threads_annot"><a href="#val-starvation_c_named_threads_annot" class="anchor"></a><code><span><span class="keyword">val</span> starvation_c_named_threads_annot : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-starvation_skip_analysis"><a href="#val-starvation_skip_analysis" class="anchor"></a><code><span><span class="keyword">val</span> starvation_skip_analysis : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-starvation_strict_mode"><a href="#val-starvation_strict_mode" class="anchor"></a><code><span><span class="keyword">val</span> starvation_strict_mode : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-starvation_whole_program"><a href="#val-starvation_whole_program" class="anchor"></a><code><span><span class="keyword">val</span> starvation_whole_program : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-stats_dir_current"><a href="#val-stats_dir_current" class="anchor"></a><code><span><span class="keyword">val</span> stats_dir_current : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-stats_dir_previous"><a href="#val-stats_dir_previous" class="anchor"></a><code><span><span class="keyword">val</span> stats_dir_previous : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-struct_as_cpp_class"><a href="#val-struct_as_cpp_class" class="anchor"></a><code><span><span class="keyword">val</span> struct_as_cpp_class : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-store_analysis_schedule"><a href="#val-store_analysis_schedule" class="anchor"></a><code><span><span class="keyword">val</span> store_analysis_schedule : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-suffix_match_changed_files"><a href="#val-suffix_match_changed_files" class="anchor"></a><code><span><span class="keyword">val</span> suffix_match_changed_files : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-summaries_lru_max_size"><a href="#val-summaries_lru_max_size" class="anchor"></a><code><span><span class="keyword">val</span> summaries_lru_max_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-suppress_lint_ignore_types"><a href="#val-suppress_lint_ignore_types" class="anchor"></a><code><span><span class="keyword">val</span> suppress_lint_ignore_types : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-suppressions"><a href="#val-suppressions" class="anchor"></a><code><span><span class="keyword">val</span> suppressions : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-tenv_json"><a href="#val-tenv_json" class="anchor"></a><code><span><span class="keyword">val</span> tenv_json : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-tenvs_lru_max_size"><a href="#val-tenvs_lru_max_size" class="anchor"></a><code><span><span class="keyword">val</span> tenvs_lru_max_size : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-testing_mode"><a href="#val-testing_mode" class="anchor"></a><code><span><span class="keyword">val</span> testing_mode : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-threadsafe_aliases"><a href="#val-threadsafe_aliases" class="anchor"></a><code><span><span class="keyword">val</span> threadsafe_aliases : <span class="xref-unresolved">Yojson</span>.Safe.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-timeout"><a href="#val-timeout" class="anchor"></a><code><span><span class="keyword">val</span> timeout : <span>float option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-top_longest_proc_duration_size"><a href="#val-top_longest_proc_duration_size" class="anchor"></a><code><span><span class="keyword">val</span> top_longest_proc_duration_size : <span>int option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-topl_filter_unsure"><a href="#val-topl_filter_unsure" class="anchor"></a><code><span><span class="keyword">val</span> topl_filter_unsure : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-topl_max_conjuncts"><a href="#val-topl_max_conjuncts" class="anchor"></a><code><span><span class="keyword">val</span> topl_max_conjuncts : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-topl_max_disjuncts"><a href="#val-topl_max_disjuncts" class="anchor"></a><code><span><span class="keyword">val</span> topl_max_disjuncts : int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-topl_nonnull_soft"><a href="#val-topl_nonnull_soft" class="anchor"></a><code><span><span class="keyword">val</span> topl_nonnull_soft : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-topl_properties"><a href="#val-topl_properties" class="anchor"></a><code><span><span class="keyword">val</span> topl_properties : <span><a href="../ToplAst/index.html#type-t">ToplAst.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-topl_report_latent_issues"><a href="#val-topl_report_latent_issues" class="anchor"></a><code><span><span class="keyword">val</span> topl_report_latent_issues : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-trace_events"><a href="#val-trace_events" class="anchor"></a><code><span><span class="keyword">val</span> trace_events : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-trace_ondemand"><a href="#val-trace_ondemand" class="anchor"></a><code><span><span class="keyword">val</span> trace_ondemand : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-trace_topl"><a href="#val-trace_topl" class="anchor"></a><code><span><span class="keyword">val</span> trace_topl : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-unix_fork"><a href="#val-unix_fork" class="anchor"></a><code><span><span class="keyword">val</span> unix_fork : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-workspace"><a href="#val-workspace" class="anchor"></a><code><span><span class="keyword">val</span> workspace : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-write_html"><a href="#val-write_html" class="anchor"></a><code><span><span class="keyword">val</span> write_html : bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-write_html_allow_list_regex"><a href="#val-write_html_allow_list_regex" class="anchor"></a><code><span><span class="keyword">val</span> write_html_allow_list_regex : <span>string list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-write_website"><a href="#val-write_website" class="anchor"></a><code><span><span class="keyword">val</span> write_website : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-xcode_isysroot_suffix"><a href="#val-xcode_isysroot_suffix" class="anchor"></a><code><span><span class="keyword">val</span> xcode_isysroot_suffix : <span>string option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-xcpretty"><a href="#val-xcpretty" class="anchor"></a><code><span><span class="keyword">val</span> xcpretty : bool</span></code></div></div><h3 id="configuration-values-derived-from-command-line-options"><a href="#configuration-values-derived-from-command-line-options" class="anchor"></a>Configuration values derived from command-line options</h3><div class="odoc-spec"><div class="spec value anchored" id="val-toplevel_results_dir"><a href="#val-toplevel_results_dir" class="anchor"></a><code><span><span class="keyword">val</span> toplevel_results_dir : string</span></code></div><div class="spec-doc"><p>In some integrations, eg Buck, infer subprocesses started by the build system (started by the toplevel infer process) will have their own results directory; this points to the results directory of the toplevel infer process, which can be useful for, eg, storing debug info. In other cases this is equal to <a href="#val-results_dir"><code>results_dir</code></a>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-java_package_is_external"><a href="#val-java_package_is_external" class="anchor"></a><code><span><span class="keyword">val</span> java_package_is_external : <span>string <span class="arrow">&#45;&gt;</span></span> bool</span></code></div><div class="spec-doc"><p>Check if a Java package is external to the repository</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_originator"><a href="#val-is_originator" class="anchor"></a><code><span><span class="keyword">val</span> is_originator : bool</span></code></div><div class="spec-doc"><p>is the current process (forked from) the root of the Infer process tree</p></div></div><h3 id="global-variables-with-initial-values-specified-by-command-line-options"><a href="#global-variables-with-initial-values-specified-by-command-line-options" class="anchor"></a>Global variables with initial values specified by command-line options</h3><div class="odoc-spec"><div class="spec value anchored" id="val-clang_compilation_dbs"><a href="#val-clang_compilation_dbs" class="anchor"></a><code><span><span class="keyword">val</span> clang_compilation_dbs : <span><span>[ <span>`Escaped of string</span> <span><span>| `Raw</span> of string</span> ]</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-set_gc_params"><a href="#val-set_gc_params" class="anchor"></a><code><span><span class="keyword">val</span> set_gc_params : <span>unit <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p>set GC paramemters according to command line arguments and defaults</p></div></div></div></body></html>
